1. Verification, model checking, and abstract interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
پدیدآورنده : Agostino Cortesi )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Verification -- Congresses ، Computer programs
رده :
QA
76
.
L28
Vol
.
2294
